Geskrifte van ’n vermiste digter (Henk Rall)

Rall Returns to NIEHS

Decay of Correlations in One-dimensional Dynamics Henk Bruin, Stefano Luzzatto and Sebastian Van Strien

We consider multimodal C interval maps f satisfying a summability condition on the derivatives Dn along the critical orbits which implies the existence of an absolutely continuous f invariant probability measure μ. If f is non-renormalizable, μ is mixing and we show that the speed of mixing (decay of correlations) is strongly related to the rate of growth of the sequence (Dn) as n → ∞. We also ...

Exploring Henk

Minke Valk , Henk van Dam and Sarah Cummings Women ’ s Information Centres and Networks

An enormous increase has been observed in the number andtypes of women’s groups and organizations around theworld. A complex of international, regional, national andlocal networks of individuals and organizations has emerged.At the same time, the recognition of women’s issues hasgrown, both nationally and worldwide, and so has the needfor comprehensive and reliable data ...

RALL: Machine-Supported Proofs for Relation Algebra

We present a theorem proving system for abstract relation algebra called RALL Relation Algebraic Language and Logic based on the generic theorem prover Isabelle On the one hand the system is an advanced case study for Isabelle HOL and on the other hand a quite mature proof assistant for research on the relational calculus RALL is able to deal with the full language of heterogeneous relation alg...